let a5 = document.getElementById("href_id");    // 假设这里有一个id为href_id的a标签
// a5.href ，这里是点不出来href的

let a6 = document.getElementById("href_id") as HTMLAnchorElement;    // 假设这里有一个id为href_id的a标签
console.log(a6.href); // 这里是可以点出来href的

// chrome开发者工具里，$0，可以打印，选中的类型